Object-oriented Haskell extension, using a preprocessor, supports a form of inheritance via extended class and instance declarations. Descriptions, documents, source download, links.
Polytypic programming language; source files for compiler written in Haskell that compiles PolyP-code to Haskell; library of polytypic functions written in PolyP, some examples, documents, downloads.
Has study, Active Libraries and Universal Languages, on libraries active in compiling; rather than make unique languages for each purpose, build libraries to give domain-specific syntax, optimizations, safety checking; extant languages and compilers l...